Formal Techniques for Safety-Critical Systems (FTSCS 2014)

First International Workshop on Formal Techniques for Safety - Critical Systems ( FTSCS 2012 )

Supporting Formal Reasoning for Safety Critical Systems

Formal methods can signiicantly assist in the design and modelling of safety-critical systems. However, formal methods are frequently criticised as being unusable through being too complex and requiring expert knowledge to use. We assert that to make formal methods usable they must be able to be presented in a manner which is readily interpretable. However, we must ensure that the inferences wh...

Formal Veriication of Safety-critical Hybrid Systems Formal Veriication of Safety-critical Hybrid Systems

This thesis investigates how the formal modeling and veri cation techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37]| systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...

Formal assessment techniques for embedded safety critical system

Recently, ONERA was involved in the ISAACS European project. The aim of this project was to investigate new safety assessment techniques based on the use of formal design languages and associated tools. ONERA studied more specifically the applicability of the AltaRica language and the Cecilia OCAS environment to perform the safety assessment of some Airbus aircraft systems. In this paper, we fi...

Formal Veriication of Safety-critical Hybrid Systems ?

This paper investigates how formal techniques can be used for the analysis and veriication of hybrid systems 1,5,7,16] | systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation protocols used for distributed systems i...